A formal analysis of bluetooth device discovery
نویسندگان
چکیده
منابع مشابه
Analysis of the Bluetooth device discovery protocol
Device discovery and connection establishment are fundamental to communication between two Bluetooth (BT) devices. In this paper, we give an analytical model of the time it takes for the master in a piconet to discover one slave. We show that, even in the absence of packet interference, the discovery time can be long in some instances. We have simulated the discovery protocol by actually implem...
متن کاملA Mechanism for Quick Bluetooth Device Discovery∗
The device discovery time of Bluetooth is prohibitively long. This may significantly impact many mobile applications. In this work, we start by analyzing the frequency matching of Bluetooth, the major component of delay in its device discovery, for both versions V1.2 and V1.1 specifications. We then propose a new scheme called Dual Inquiry Scan to reduce the delay. The result is a reduction of ...
متن کاملFormal Analysis of Authentication in Bluetooth Device Pairing
Bluetooth is a popular standard for short-range wireless communications. Bluetooth device pairing enables two mobile devices to authenticate each other and establish a secure wireless connection. We present a formal analysis of authentication properties of Bluetooth device pairing. Using the ProVerif cryptographic protocol verifier, we first analyze the standard device pairing protocol specifie...
متن کاملAnalysis of Bluetooth Device Discovery and Some Speedup Mechanisms∗
The device discovery time of Bluetooth is prohibitively long. This may significantly impact many mobile applications. In this work, we start by analyzing the frequency-matching delay of Bluetooth for both versions V1.1 and V1.2. We then propose three schemes to speed up the device discovery procedure of Bluetooth. The result is a significant reduction of average frequency-matching time from 23....
متن کاملInterference with Bluetooth Device
do notice the interference which is being caused and hence studied
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal on Software Tools for Technology Transfer
سال: 2006
ISSN: 1433-2779,1433-2787
DOI: 10.1007/s10009-006-0014-x